Перевод: с английского на все языки

со всех языков на английский

Со всех языков на:
Английский
С английского на:
Русский

tree form proof

Толкование Перевод

1 tree form proof

доказательство в виде дерева

proof thread — нить доказательства

sure proof — верное доказательство

proof scheme — схема доказательства

proof theory — теория доказательств

rigorous proof — строгое доказательство

The English-Russian dictionary general scientific > tree form proof
2 tree form proof

доказательство в форме дерева, ветвящееся доказательство

Большой англо-русский и русско-английский словарь > tree form proof
3 tree form proof

1) Математика: доказательство в виде дерева

2) Вычислительная техника: ветвящееся доказательство, доказательство в форме дерева

Универсальный англо-русский словарь > tree form proof
4 tree form proof

доказательство в форме дерева, ветвящееся доказательство

English-Russian dictionary of computer science and programming > tree form proof
5 tree form proof

доказательство в виде дерева

English-Russian scientific dictionary > tree form proof
6 proof

1) доказательство; обоснование; подтверждение

2) полигр. корректура, пробный оттиск

3) контрольный отпечаток

4) проверка; испытание; проба || проверять; испытывать; опробовать

5) безопасный; защищённый

6) обеспечивать непроницаемость; герметизировать

•

axiom needs no proof — аксиома не требует доказательства

not serving as a proof — недоказательный

proof against — устойчивый к воздействию (какого-л. фактора)

proof by analysis — доказательство путём анализа

proof by contradiction — мат. доказательство от противного

proof by enumeration — доказательство путём перебора вариантов

proof by exhaustion — доказательство путём полного перебора вариантов

proof by induction — мат. доказательство по индукции

proof by matrices — мат. доказательство с помощью матриц

proof by reduction to absurdity — доказательство от противного

proof from hypothesis — доказательство с помощью гипотезы

proof in outline — набросок [схема] доказательства;

the proof is immediate — доказательство получаем сразу

the proof is obvious — доказательство очевидно

the proof is straightforward — доказательство не вызывает затруднений

this completes the proof — это завершает доказательство; на этом доказательство заканчивается

this concludes the proof of theorem — это завершает доказательство теоремы

to give a proof — матем. дать доказательство

- a priori proof

- abridged proof

- absolute proof

- abstract proof

- acid proof

- algebraic proof

- alleged proof

- alternative proof

- analytical proof

- apagogic proof

- automatic proof

- brush proof

- classical proof

- combinatorial proof

- complete proof

- consistency proof

- constructive proof

- cyclic proof

- deductive proof

- detailed proof

- diagonal proof

- direct proof

- effective proof

- elementary proof

- exact proof

- existence proof

- experimental proof

- fallacious proof

- finitary proof

- finite proof

- first proof

- formal proof

- foundry proof

- galley proof

- general proof

- genetic proof

- geometric proof

- heuristic proof

- incomplete proof

- indirect proof

- inductive proof

- infallible proof

- informal proof

- intuitionistic proof

- intuitive proof

- irreducible proof

- irrefutable proof

- logical proof

- mathematical proof

- mechanical proof

- nonelementary proof

- page proof

- partial proof

- precise proof

- predicative proof

- press proof

- probabilistic proof

- proof of hypothesis

- proof of identity

- proof of necessity

- proof of sufficiency

- purely algebraic proof

- reductio ad absurdum proof

- regressive proof

- relative proof

- rigorous proof
- strong proof
- topological proof

- tree form proof

- variant proof

- verbal proof

English-Russian scientific dictionary > proof
7 proof

1) доказательство || доказывать

2) проверка

3) обеспечивать сопротивляемость (напр., против неумелого использования)

•

- digital color proof
- direct digital color proof
- formal program proof
- formal proof
- indirect proof
- irreducible proof
- page proof
- program proof
- proof of termination
- tree form proof
- variant proof
- zero proof

English-Russian dictionary of computer science and programming > proof
8 proof

1. непроницаемость; доказательство

convincing proof — убедительное доказательство

independent proof — объективное доказательство

indubitable proof — несомненное доказательство

proof positive — неопровержимое доказательство

tree form proof — доказательство в виде дерева

2. непроницаемый

radiation proof — непроницаемый для ионизирующего излучения

The English-Russian dictionary general scientific > proof
9 proof

доказательство; проверка; безопасный

indubitable proof — несомненное доказательство

proof positive — неопровержимое доказательство

tree form proof — доказательство в виде дерева

conclusive proof — окончательное доказательство

correctness proof — доказательство правильности

English-Russian big medical dictionary > proof
10 form

1. n форма; внешний вид; очертание

without shape or form — бесформенный

in any shape or form — в любом виде

in the form of a cube — в форме куба

work-and-tumble form — форма для печатания со своим оборотом

signature of a quadratic form — сигнатура квадратичной формы

normalized form — нормализованная форма; нормализованный вид

form transporter — тележка для транспортировки печатных форм

analytic form — аналитическая форма; аналитическое выражение

2. n фигура

well-proportioned form — пропорциональное сложение, хорошая фигура

3. n обличье

Proteus was able to appear in the form of any animal — Протей мог являться в обличье любого животного

4. n стать

5. n форма, вид

literary form — литературная форма

in tabular form — в виде таблицы

in the form of a sonnet — в форме сонета

in the form of a drama — в драматической форме

tooth form — форма зуба

form of combat — вид боя

form tie — обвязка формы

in the form of — в форме

long form — полная форма

6. n вид, разновидность; тип

forms of animal and vegetable life — формы животной и растительной жизни

balance sheets in account form — отчеты в виде счета

closed form solution — решение в аналитическом виде

displacement form — обводы водоизмещающего типа

tree form proof — доказательство в виде дерева

data in graph form — данные в виде графиков

7. n стиль, манера

his form in swimming is bad — он плавает плохо

poor form — нарушение стиля

form break — нарушение стиля

form work — работа над стилем исполнения

bad form — невоспитанность, вульгарность, плохие манеры

8. n состояние; форма; готовность

to round into form — приобретать спортивную форму

was in bad competition form — был в плохой спортивной форме

to distribute ink over the form — накатать краску на форму

regular form of marriage — законная форма вступления в брак

propeller form parameter — коэффициент формы гребного винта

multiple copy business form — многолистная конторская форма

9. n настроение, душевное состояние

Jack was in great form at the dinner party — Джек был в приподнятом настроении на званом обеде

crude form — необработанное состояние

diluted form — разбавленное состояние

undiluted form — неразбавленное состояние

suspended form — суспендированное состояние

10. n формальность; проформа

to attach importance to forms — придавать значение формальностям

11. n церемония, порядок

in due form — по всем правилам

in the form of order — в приказном порядке

in the prescribed form — в установленном порядке

12. n установившаяся форма выражения; формула

the form of greeting — формула приветствия

conjuctive normal form — конъюктивная нормальная форма; КНФ

to divorce form from matter — отрывать форму от содержания

to assume the original form — принять первоначальную форму

stripped a form — освободил форму от пробельного материала

manually maintained form — форма немашинизированного учета

13. n класс

upper forms — старшие классы

fifth form — пятый класс

first form — первый класс

sixth form — шестой класс

form class — формальный класс

fourth form — четвёртый класс

14. n форма, бланк, образец; анкета

printed form — печатный бланк

a form for a deed — бланк для соглашения

concept of form and space — концепция форм и пространства

strip a form — освобождать форму от пробельного материала

form truck — тележка для перевозки тяжелых шрифтовых форм

chargeback form — бланк распоряжения на возвратный платеж

two-up form — сдвоенная форма с одинаковым спуском полос

15. n нора

16. n грам. форма слова

implicative normal form — импликативная нормальная форма

disjunctive normal form — дизъюнктивная нормальная форма

combination form of virus — комбинированная форма вируса

carbonized form — конторская форма с копировальным слоем

snap-apart business form — «отрывная» конторская форма

17. n спец. форма исполнения

rondo form — форма рондо

growth form — форма роста

ice form — форма для льда

test form — пробная форма

arrest form — форма ареста

18. n спец. модель, тип, образец; торговый сорт

purchase order form — бланк торгового заказа

buoyant form — обводы водоизмещающего типа

planing form — обводы глиссирующего типа

form of government — образ правления

19. n спец. тех. форма для литья

form resistance — сопротивление формы

full size form — полноформатная форма

granular form — гранулированная форма

multilinear form — полилинейная форма

powdered form — порошкообразная форма

20. n спец. полигр. печатная форма

liquid form — жидкая форма

solid form — твердая форма

song form — песенная форма

form c relay — реле формы С

ganged form — сборная форма

21. n спец. стр. форма; опалубка

form removal — распалубка

description form — описательная форма

dropping the form — расключение формы

form face — рабочая поверхность формы

form of warfare — форма ведения войны

prevailing form — преобладающая форма

22. n спец. выражение

analytical form — аналитическое выражение

mathematical form — аналитическое выражение

23. v придавать форму, вид

to form a piece of wood into a certain shape — придавать куску дерева определённую форму

pure form — очищенный вид

in any form — в любой форме

latent form — скрытая форма

life form — жизненная форма

norm form — норменная форма

24. v принимать форму, вид

object form — форма объекта

on-line form — исходный вид

smooth form — гладкая форма

active form — активная форма

bound form — связанная форма

25. v составлять, образовывать; формировать

these parts together form a perfect whole — эти части образуют вместе гармоничное целое

the rain formed large pools on the lawn — от дождя на газоне образовались большие лужи

form the government — сформировать правительство

to form the government — сформировать правительство

form public opinion — формировать общественное мнение

form a joint venture — формировать совместное предприятие

26. v образовываться; формироваться

crystals formed in the retort — в реторте образовались кристаллы

form an angle with — образовывать угол

form the instruction — формировать команду

27. v грам. образовывать

to form the plural of a noun — образовать множественное число существительного

28. v создавать, составлять; формулировать

to form an idea — создавать себе представление

to form an opinion — составить мнение

form an union — создавать союз

form an alliance — создавать союз

form a pivot — создавать опорный район

29. v возникать, оформляться

the idea slowly formed in my mind — эта мысль постепенно становилась у меня более отчётливой

30. v представлять собой; являться

chocolate forms a wholesome substitute for staple food — шоколад является полноценным заменителем основных продуктов питания

31. v тренировать, дисциплинировать; воспитывать; развивать

to form the mind — развивать ум

to form the character — воспитывать характер

32. v формировать, организовывать; образовывать, создавать

to form a class for beginners — создать группу начинающих

to form an army — формировать армию

to form a government — формировать правительство

to form a society — организовывать общество

to form a ministry — сформировать кабинет

33. v воен. строить

to form a column — вытягиваться в колонну

form up — строиться

to form a crowd into rank — построить толпу

to form a guard of honour — выстроить почётный караул

34. v воен. строиться

35. v спец. формовать

36. v спец. сад. обрезать, подвергать обрезке; формировать крону

забираться, забиваться в нору

to form and display an intention — сформировать и обнаружить намерение, умысел

Синонимический ряд:

1. appearance (noun) appearance; body; build; cast; configuration; conformation; cut; figure; format; framework; matrix; plan; shape; structure; style

2. business form (noun) application; blank; business form; document; duplicate; paper; questionnaire; report

3. ceremony (noun) ceremonial; ceremony; conformity; formality; liturgy; rite; ritual; rule

4. convenance (noun) convenance; convention; usage

5. formula (noun) approach; formula; method; mode; practice; procedure; system

6. group (noun) assemblage; group; organisation; organization

7. kind (noun) arrangement; kind; manner; sort; type

8. model (noun) model; mold; mould; pattern

9. order (noun) condition; fitness; order; trim

10. acquire (verb) acquire; contract; develop

11. arrange (verb) arrange; combine; dispose; order; organise; organize; systematise; systematize

12. cast (verb) carve; cast; chisel; construct; contrive; design; devise; fashion; frame; mold; pattern

13. make (verb) assemble; build; compose; comprise; constitute; create; erect; fabricate; forge; invent; make; make up; manufacture; originate; produce; put together; shape

14. model (verb) model; mould; shape

15. teach (verb) discipline; educate; instruct; rear; teach; train

Антонимический ряд:

damage; defacement; deform; deformity; demolish; derange; destroy; devastate; disarrange; disintegrate; dislocate; dismantle; dismember

English-Russian base dictionary > form
11 program proof

доказательство правильности программы

convincing proof — убедительное доказательство

independent proof — объективное доказательство

indubitable proof — несомненное доказательство

proof positive — неопровержимое доказательство

tree form proof — доказательство в виде дерева

English-Russian base dictionary > program proof
12 irreducible proof

несводимое доказательство

independent proof — объективное доказательство

indubitable proof — несомненное доказательство

proof positive — неопровержимое доказательство

tree form proof — доказательство в виде дерева

conclusive proof — окончательное доказательство

English-Russian big polytechnic dictionary > irreducible proof
13 rigorous proof

строгое доказательство

independent proof — объективное доказательство

indubitable proof — несомненное доказательство

proof positive — неопровержимое доказательство

tree form proof — доказательство в виде дерева

conclusive proof — окончательное доказательство

The English-Russian dictionary general scientific > rigorous proof
14 be of the form of

иметь вид

normalized form — нормализованная форма; нормализованный вид

balance sheets in account form — отчеты в виде счета

closed form solution — решение в аналитическом виде

tree form proof — доказательство в виде дерева

data in graph form — данные в виде графиков

English-Russian base dictionary > be of the form of
15 in powder form

в виде порошка

normalized form — нормализованная форма; нормализованный вид

fuel in the form of bundles — ядерное топливо в виде пучков

balance sheets in account form — отчеты в виде счета

closed form solution — решение в аналитическом виде

tree form proof — доказательство в виде дерева

English-Russian big polytechnic dictionary > in powder form
16 in columnar form

в виде столбца

normalized form — нормализованная форма; нормализованный вид

balance sheets in account form — отчеты в виде счета

closed form solution — решение в аналитическом виде

tree form proof — доказательство в виде дерева

data in graph form — данные в виде графиков

English-Russian big medical dictionary > in columnar form
17 round

1. n окружность, кольцо

to dance in a round — двигаться по кругу

round ring — круглое кольцо

round Bologna sausage — болонья в кольцах

round Bologna — болонская колбаса в кольцах

2. n шар

this earthly round — Земля

3. n небесный свод

4. n круг; предмет, имеющий форму круга

to round into form — приобретать спортивную форму

to revolve round the sun — обращаться вокруг солнца

edge round — радиус закругления боковой кромки круга

pass round — передавать друг другу, пустить по кругу

to send round the bottle — пустить бутылку по кругу

5. n ломтик

a round of toast — гренок

6. n круговое движение; кругооборот; круговорот

round inductosyn — круговой индуктосин

round trip transfer — круговая передача

round cable — кабель с круговым сечением

dollar round trip — круговое движение долларов

round dressing — круговая разделка бараньей туши

7. n ряд; цикл; серия

the daily round — повседневные дела

a round of pleasures — вихрь удовольствий

a round of duties — круг обязанностей

weekly round — еженедельный цикл богослужения

round of replication — цикл репликации

8. n тур, этап

second round — второй тур

9. n раунд, тур

first round — первый раунд

opening round — первый раунд

fourth round — четвертый раунд

elimination round — раунд элиминаций

negotiating round — раунд переговоров

10. n круг, группа

a round of politicians — группа политических круглая скульптура

look round — оглядываться кругом

come round — объехать, обойти кругом

front round — круг с поворотом на 180 град

curling round the roll — загибание вокруг валка

to revolve round its axis — вращаться вокруг своей оси

11. n очередная порция спиртного

they had another round — они выпили ещё по одной

12. n спорт. игра, партия; тур игры

to have a round of cards — сыграть партию в карты

the party rallied round their leader — партия сплотилась вокруг своего лидера

13. n пулька

14. n схватка, раунд

new round of the arms race — новый раунд гонки вооружений

second round of negotiations — второй раунд переговоров

first round of negotiations — первый раунд переговоров

15. n воен. выстрел; патрон

round of ammunition — патрон, комплект выстрела

tank round — выстрел из танка

jammed round — заклиненный патрон

anti-tank round — выстрел по танку

incoming round — подаваемый патрон

proof round — контрольный выстрел

16. n взрыв

a round of cheers — несмолкаемые аплодисменты, овация

17. n круглая ступенька

round platen stereotyping — изготовление круглых стереотипов

round straightener — правильная машина для круглой стали

round dots — круглые растровые элементы; растровые точки

theater in the round — театр с круглой сценой в центре

round form — круглая печатная форма, круглый стереотип

18. n реакт. снаряд

ballistic round — баллистический снаряд

19. n горн. комплект шпуров

to go the round of — циркулировать ; переходить из уст в уста

complete round — комплект артиллерийского выстрела

cementation round — комплект цементационных скважин

beef round set — комплект отрубов говяжьего бедра

round of holes — комплект скважин

round of shots — комплект шпуров

20. a круглый; шарообразный, сферический

as round as a ball — круглый как шар

the round world — земной шар

round shoulders — сутулость

round brackets — круглые скобки

out of round — некруглый

round can — круглая банка

round die — круглая шкала

round fish — круглая рыба

round nut — круглая гайка

21. a полный, пухлый, с округлыми формами

round cheeks — пухлые щёки

round angle — полный угол

round shape — круглая форма

round shape — круглая форма

round crest — округлый гребень

round letters — округлые буквы

22. a круговой

round game — игра в карты, в которой каждый играет за себя

round voyage — круговой рейс

round watch — круговой обзор

round charter — круговой чартер

full round antenna — круговая антенна

round voyage chartering — фрахтование на круговой рейс

23. a грубый, приблизительный

24. a целый, без дробей

stripper round — бедренная часть говяжьей туши без костреца

25. a эмоц. -усил. целый; не меньше чем

a round ton — целая тонна, не меньше тонны

come round to my place tonight — заходите ко мне вечерком

he became fatter round the middle — у него вырос животик

to round downward — округлять в меньшую сторону

26. a большой, крупный, значительный

a good round sum — порядочная сумма

27. a быстрый, энергичный

round pace — быстрый темп

the compass needle twirled swiftly round — стрелка компаса быстро вертелась

28. a мягкий, густой, звучный, глубокий

29. a приятный, нетерпкий

30. a свободный, лёгкий, гладкий, плавный

round style — гладкий слог

31. a закруглённый; законченный

32. a законченный, отделанный

33. a изображённый всесторонне, со всем правдоподобием; полнокровный

прямой, откровенный; искренний; резкий

round unvarnished tale — неприкрашенная история;

all round the horizon — по всему горизонту

round outside — мясо наружной части говяжьего бедра

round inside — мясо внутренней части говяжьего бедра

all round price — цена включающая все накладные расходы

board round — питаться по очереди во всех домах селения

34. a фон. лабиализованный

35. a наполненный

36. a потрошёный

round dealing — честное отношение

37. adv движение по кругу, спирали или на вращение кругом

to go round in a circle — ходить по кругу

to run round — бегать по кругу

to go round and round — вертеться, кружиться

the wheels went round — колёса вертелись

to hand smth. round — передавать по кругу

to deal round — сдавать

hand the papers round — раздайте всем работы

she came round last night — она зашла вчера вечером

the hawk flew round the farm — ястреб кружил над фермой

she flung her arms round his neck — она бросилась ему на шею

38. adv движение кружным путём, в обход, кругом; часто передаётся глагольными приставками

a way round — кружный путь

doctor's round — обход больных

morning round — утренний обход

winding round suture — захлестывающий шов

to be round the corner — быть вне опасности

getting round — обходящий; двигающийся; обход

39. adv указывает на нахождение рядом, по соседству

from every village round — из всех окрестных деревень

nuclear round — снаряд с ядерным зарядом

to run a fence round a house — обнести дом забором

40. adv в окружности, в обхвате

the town walls are 3,000 yards round — стены города имеют 3000 ярдов в окружности

the wheel goes round and round — колесо всё вращается

41. adv измерение площади по радиусу в радиусе

for a mile round — в радиусе мили

end round — радиус закругления торцевой кромки зуба

tip round — радиус закругления продольной кромки зуба

42. v округлять, делать круглым

amazement rounded her eyes — от изумления её глаза округлились

to round off — округлять

round bar — круглый прокат

round key — круглая шпонка

round rod — круглый пруток

round table — Круглый стол

43. v округляться; полнеть

the little green apples grew and rounded and yellowed — небольшие зелёные яблоки созрели, налились и пожелтели

round down — округлять с понижением

round out — закруглять, округлять, делать круглым

44. v фон. лабиализовать

45. v надуваться, раздуваться, наполняться

46. v завершать, заканчивать; закругляться

to round a phrase — закруглить фразу

round off — закруглять

47. v развиваться, превращаться в

a boy rounds into manhood — мальчик становится мужчиной

to carry a wall right round a field — обнести забором всё поле

48. v заканчиваться, завершаться

the talk rounded into a plan — беседа завершилась выработкой плана

49. v огибать, обходить кругом

to round a bend — огибать поворот

to round mark — обходить знак «буй»

to have a nose round — ходить всюду и высматривать

50. v разг. доносить

51. v разг. разг. обойти, обвести, обмануть

dash round — обойти в беге

to get round a difficulty — обойти трудность

got round — обошел; двигался; приходить в себя

52. v разг. подрезать уши

beef round — бедренная часть говяжьей туши

veal round — бедренная часть телячьей туши

53. v разг. редк. повёртывать

54. v разг. редк. повёртываться

he rounded to look at me — он повернулся, чтобы посмотреть на меня

55. v разг. мор. приводить к ветру

56. prep движение по кривой по

they did not sail across the bay, but went round it — они поплыли не прямо через залив, а вдоль берега

57. prep вокруг, кругом

the children were sitting round the table — дети сидели вокруг стола

the road sweeps round the lake — дорога вьётся вокруг озера

a serpent coiled round a tree — змея обвилась вокруг дерева

58. prep разг. по соседству, рядом, в окрестности около

farms round Cleveland — фермы в окрестностях Кливленда

to throng round the gates — толпиться около ворот

59. prep протекание действия по всему району, по всей территории вокруг; по

the toys were round the room — игрушки были разбросаны по всей комнате

60. prep около

round midday — около полудня

61. prep по поводу

62. v арх. говорить таинственным шёпотом

Синонимический ряд:

1. circular (adj.) annular; circular; cylindrical; globular; hooplike; orbed; ring-shaped; spherical

2. complete (adj.) accomplished; complete; entire; finished; full; good; perfect; sonorous; unbroken; whole

3. curved (adj.) arced; arched; arciform; arrondi; bent; bowed; curved; curvilinear; looped; rounded

4. open (adj.) candid; fair; frank; honest; open; plain; straight-forward; upright

5. outspoken (adj.) free; free-spoken; outspoken; vocal

6. resonant (adj.) consonant; fat; mellow; orotund; plangent; resonant; resounding; ringing; sonorant; vibrant

7. rotund (adj.) chubby; plump; plumpish; plumpy; podgy; puddy; pudgy; roly-poly; rotund; roundabout; spuddy; tubby; zaftig

8. beat (noun) beat; circuit; province; route

9. cartridge (noun) cartridge; charge; load

10. circle (noun) ball; circle; globe; orb; ring; rondure; sphere

11. course (noun) bout; course; game; period; wheel

12. curve (noun) arc; arch; bend; bow; crook; curvation; curvature; curve

13. revolution (noun) circulation; circumvolution; gyration; gyre; revolution; revolve; rotation; turn; whirl

14. run (noun) chain; run; series; string; succession; train

15. rung (noun) crosspiece; cross-piece; rundle; rung; tread

16. schedule (noun) routine; schedule

17. tour (noun) cycle; orbit; round trip; roundabout; tour

18. ball (verb) ball; conglobate; conglobe; ensphere; sphere

19. bow (verb) bend; bow; crook; curve

20. polish (verb) perfect; polish; refine; sleek; slick; smooth

21. surround (verb) begird; beset; circle; compass; encircle; encompass; environ; gird; girdle; hem; loop; ring; surround

22. about (other) about; again; back; backward; in reverse; round about

23. nearly (other) all but; almost; approximately; as good as; just about; more or less; most; much; nearly; nigh; practically; roughly; roundly; rudely; say; some; somewhere; well-nigh

24. throughout (other) all over; around; everyplace; everywhere; over; through; throughout

Антонимический ряд:

lean; rectangular; square; thin

English-Russian base dictionary > round
18 matrix

1) мат. матрица || матричный

2) форма, шаблон

3) прямоугольная таблица

4) растр

5) решётка

6) таблица

7) геол. материнская порода, основная масса ( породы)

8) основа кристаллического вещества; кристаллическая решётка

•

adjoint of a matrix — сопряжённая матрица

in a matrix form — в матричной форме

proof by matrices — доказательство с помощью матриц

representation by matrices — матричное представление

to invert a matrix — обращать матрицу

to multiply a matrix on left — умножать матрицу слева

- absolutely bounded matrix
- absolutely equivalent matrices
- absorption matrix

- additively inverse matrix
- adjoint matrices
- adjoint matrix

- adjugate matrix

- admissible matrix

- alias matrix

- allocation matrix

- almost normal matrix
- almost perfect matrix - almost periodic matrix - almost superdiagonal matrix
- alternant matrix

- alternate matrix

- alternating matrix

- analytical matrix

- annihilating matrix

- antiself-dual matrix

- antisymmetric matrix

- antisymmetrical matrix

- aperiodic matrix

- associated matrix

- association matrix
- associative matrix
- asymtotic matrix

- augmented matrix

- autocorrelation matrix

- autocovariance matrix

- automaton matrix

- backcirculant matrix

- badly conditioned matrix

- basic matrix

- best conditioned matrix

- bidiagonal matrix

- bigradient matrix

- binary matrix

- biorthogonal matrices
- birth-death coefficient matrix
- block matrix

- block-diagonal matrix

- block-floating matrix

- block-periodic matrix

- block-stochastic matrix

- block-triangular matrix

- block-tridiagonal matrix

- bordered matrix

- boundary matrix

- bounded matrix

- canonical matrix

- capacity matrix

- cellular matrix

- centrosymmetrical matrix

- characteristic equation matrix

- characteristic matrix

- check matrix

- circuit matrix

- circuit-basis matrix

- clique matrix

- clique-incidence matrix

- cocircuit matrix
- cocycle matrix
- coding matrix

- cohesiveness matrix

- column definite matrix

- column-bounded matrix

- column-equilibrated matrix

- column-finite matrix

- column-infinite matrix

- column-reduced matrix

- combinatorial matrix

- combinatorially equivalent matrices
- commutative matrix - commute matrices - commuting matrix
- companion matrix

- comparable matrices

- compatibility matrix

- complete correlation matrix

- complete matrix

- completely reducible matrix
- complex conjugate matrix
- complex matrix

- complex orthogonal matrix

- component matrix

- composite matrix
- compound matrix
- conference matrix

- conformable matrices

- conformable matrix

- confounding matrix

- congruent matrices
- conjunctive matrices
- connected matrix

- connectedness matrix

- connection matrix

- conservative matrix

- consistent matrices
- consistently ordered matrix
- constant matrix

- constituent matrices matrix
- constituent matrices
- constraint matrix

- continuous matrix

- contraction matrix

- conversion matrix

- coordinatization matrix

- copositive matrix

- copositive-plus matrix

- correcting matrix

- cotree incidence matrix

- counterdiagonal matrix

- counteridentity matrix

- counterorthogonal matrices

- countersymmetrical matrix

- counterunitary matrix

- covariant matrix

- crossing matrix

- curvature matrix

- cutset basis matrix

- cutset matrix

- cyclic matrix

- cyclomatic matrix

- damping matrix

- decision matrix

- decoding matrix

- decomposable matrix

- decomposition matrix

- defective matrix
- deficient matrix
- degenerate matrix

- dense matrix

- derivative matrix

- derogatory matrix

- design matrix

- detour matrix

- deviation matrix

- diagnostic matrix

- diagonalizable matrix

- diagonalizing matrix

- diagonally dominant matrix

- differential matrix

- dilated matrix

- discontinuous matrix

- dispersion matrix

- distance matrix

- distribution matrix

- double diagonal matrix
- doubly degenerated matrix - doubly stochastic matrix
- dynamical matrix

- echelon matrix

- edge incident matrix

- edge matrix

- effectiveness matrix

- elementary matrix

- elimination matrix

- elliptic matrix

- encoder matrix
- encoding matrix
- equicofactor matrix

- equivalent matrices

- ergodic matrix

- essentially nonnegative matrix
- essentially positive matrix
- even matrix

- evolutional matrix

- exceptional matrix

- expansion matrix

- exponent matrix

- extended matrix

- fixed matrix

- flat type matrix

- flow matrix

- formal log-exponential matrix

- four-by-four matrix

- four-column matrix

- fully indecomposable matrix

- function of matrix

- fundamental matrix

- fuzzy matrix

- gains matrix

- general matrix

- generalized matrix

- graded matrix

- group matrix

- grouping matrix

- high-order matrix

- holomorphic matrix

- horizontally symmetrical matrix

- hyperbolic matrix

- hypercompanion matrix

- idempotent matrix

- identifiability matrix

- imaginary matrix

- immittance matrix

- imprimitive matrix

- improper matrix

- inconsistent matrices

- indecomposable matrix

- independent matrices

- ineffective matrix

- influence matrix

- integration matrix

- interblock matrix

- intersection matrix

- intrablock matrix

- invariant matrix

- invertible matrix

- involutive matrix

- irreducible matrix

- isotopic matrix

- iteration matrix

- jump matrix

- kinematically similar matrices

- lambda matrix

- leading matrix

- left-invariant matrix

- left-nonsingular matrix

- limiting matrix

- limiting transition matrix

- line matrix

- linearly dependent matrices

- linotype matrix

- logical conversion matrix

- logical matrix

- loop matrix

- loss matrix

- lower triangular matrix
- magnetic core matrix
- mapping matrix

- matrix of bilinear map

- matrix of coefficients

- matrix of constants

- matrix of linear map
- matrix of linear transformation
- matrix of observations

- matrix of orientation

- matrix of system

- matrix of wires

- m-by-n matrix

- m-column matrix

- mean-square error matrix

- measure matrix

- measurement error matrix

- meromorphic matrix

- minor definite matrix

- mixing matrix

- modal matrix

- model matrix

- mold matrix

- moment matrix

- monodromy matrix

- monomial matrix

- monotone matrix

- monotonicity matrix

- monotype matrix

- multidimensional matrix

- multiple-array matrix

- multiplicative inverse matrix
- multiplicatively cogredient matrix - multiply degenerate matrix - mutually consistent matrices
- n-by-n matrix

- n-column matrix

- nearly singular matrix
- nearly triangular matrix
- negative matrix

- negatively definite matrix
- negatively semidefinite matrix
- nilpotent matrix

- nil-triangular matrix

- node-arc incidence matrix

- nonconstant matrix

- nondegenerate matrix

- nonderogatory matrix

- nonexceptional matrix

- noninvertible matrix

- nonnegative matrix

- nonnegatively definite matrix
- nonnegatively semidefinite matrix
- nonnormal matrix

- nonorthogonal matrix

- nonpositive matrix

- nonrecurrent circulant matrix

- nonrecurrent matrix

- nonsymmetrical matrix

- non-unitary matrix

- nonvacuous matrix

- normalized matrix

- normed matrix

- n-rowed matrix

- n-th order matrix

- null matrix

- numerical matrix

- observability matrix

- observation matrix

- odd matrix

- one-by-three column matrix

- one-by-three row matrix

- one-step transition matrix

- operator matrix

- ordering matrix

- orthogonally equivalent matrices
- orthogonally similar matrices
- orthostochastic matrix

- oscillating matrix

- output matrix

- parabolic matrix

- paramount matrix

- parastrophic matrix

- parity-check matrix

- path matrix

- payoff matrix

- perfect matrix

- permutation matrix

- persymmetrical matrix

- pi matrix

- plain matrix

- polynomial matrix

- positive definite matrix
- positively definite matrix - positively semidefinite matrix
- precedence matrix

- preference matrix

- principal minor matrix

- probability matrix

- product matrix

- proximity matrix

- pseudoinverse matrix

- pseudoorthogonal matrix

- pseudoscalar matrix

- pseudosymplectic matrix

- pseudounitary matrix

- quadratic matrix

- qualification matrix

- quasicanonical matrix

- quasicommutative matrix

- quasidiagonal matrix

- quasidual matrix

- quasiinverse matrix

- quasi-inverse matrix

- quasiscalar matrix

- quasistochastic matrix

- quasisymmetrical matrix

- quasitriangular matrix

- quasitridiagonal matrix

- quaternionic matrix

- rational matrix

- reachability matrix

- real matrix

- reciprocal matrix

- rectangular matrix

- recursive matrix

- reflexion matrix

- regret matrix

- regular matrix

- regularly arranged matrix
- regularly partitioned matrix
- relational matrix

- residue matrix

- resolvent matrix

- reversible matrix

- right-invariant matrix

- right-nonsingular matrix

- rotation matrix

- row-bounded matrix

- row-equilibrated matrix

- row-finite matrix

- row-infinite matrix

- row-monomial matrix

- sandwich matrix

- scrambling matrix

- secondary matrix

- self-adjoint matrix

- self-conjugated matrix

- self-orthogonal matrix

- semantic matrix

- semicontinuous matrix

- semidefinite matrix

- semidiagonal matrix

- semiorthogonal matrix

- semisimple matrix

- semistable matrix

- shifting matrix

- signal matrix

- similar matrices

- similarity matrix

- simple classical matrix

- simplectic matrix

- simply degenerate matrix

- single-column matrix

- single-row matrix

- skeleton matrix

- skew matrix

- skew-symmetric matrix

- slightly intertwined matrices

- solenoidal matrix

- spectral density matrix

- spectral matrix

- spin matrix

- standardized matrix

- state-transition matrix

- statistical matrix

- steel matrix

- strictly triangular matrix
- strictly upper triangular matrix - strongly equivalent matrices
- structural matrix

- structure matrix

- structure of matrix

- subdiagonal matrix

- subinverse matrix

- substitution matrix

- substochastic matrix

- summation matrix

- superdiagonal matrix

- superinverse matrix

- superstochastic matrix

- symmetrized matrix

- system matrix

- system transfer matrix

- test matrix

- Toplitz matrix

- totally inefficient matrix
- totally nonnegative matrix - totally positive matrix - totally unimodular matrix
- traceless matrix

- transfer rate matrix

- transformed matrix

- transforming matrix

- transmission matrix

- trapezoidal matrix

- tree matrix

- triangulable matrix

- two-diagonal matrix

- two-dimensional matrix

- two-row matrix

- two-sided reciprocal matrix

- two-variable matrix

- unconditionally stable matrix
- uniformly tapered matrix
- unimodal matrix

- unimodular matrix

- union matrix

- unipotent matrix

- unitarily equivalent matrices

- unitary matrices

- unity matrix

- universal matrix

- unreduced matrix

- var-covar matrix

- variation diminishing matrix

- variation limiting matrix

- varying unitary matrix
- vertex incidence matrix
- vertex matrix

- vertex-edge incidence matrix
- vertically symmetrical matrix - weakly cyclic matrix
- weight matrix

- well-conditioned matrix

- zero matrix

English-Russian scientific dictionary > matrix
19 theorem

теорема

that establishes the theorem — тем самым теорема доказана

the theorem is proved — теорема доказана

theorem implies — из теоремы следует, что…

this concludes the proof of theorem — это завершает доказательство теоремы

under hypothesis of theorem — по условию теоремы

- absolute geometrical theorem

- abstract theorem

- additivity theorem

- adequacy theorem

- alleged theorem

- analytical enumeration theorem
- analytical hierarchy theorem
- analyticity theorem

- approximation theorem

- arithmetical enumeration theorem
- arithmetical hierarchy theorem
- associative theorem

- asymptotic passage theorem

- asymptotic theorem

- auxiliary theorem

- average theorem

- azygetic theorem

- bachet's theorem

- ballot theorem

- binomial theorem

- boundary theorem

- cardinality theorem

- Cauchy residue theorem

- central limit theorem

- central statistical theorem

- characterization theorem

- class existence theorem

- classical theorem

- classification theorem

- closed graph theorem
- closed range theorem
- closure theorem

- cobordism theorem

- cobweb theorem

- coding theorem

- coincidence theorem

- combination theorem

- combinatorial theorem

- compactness theorem

- comparability theorem

- comparison theorem

- compensation theorem

- complementary theorem

- completeness theorem

- composition theorem

- conductor-ramification theorem

- conservation theorem

- consistency theorem

- continuation theorem

- continuity theorem

- convergence theorem

- converse limit theorem

- converse theorem

- convexity theorem

- convolution theorem

- cosine theorem

- covering theorem

- decomposition theorem

- deducible theorem

- deduction theorem

- definability theorem

- density theorem

- descriptive theorem

- determinant theorem

- dimension theorem

- direct theorem

- distortion theorem

- divergence theorem

- dominance theorem

- double recursion theorem

- dual theorem

- duality theorem

- dynamical theorem

- edge-of-the-wedge theorem

- either-or theorem

- elementary theorem

- elimination theorem

- embedding theorem

- enclosure theorem

- enumeration theorem

- equal probability theorem

- equality theorem

- equilibrium theorem

- ergodic theorem

- exactness theorem

- excision theorem

- existence theorem

- existence theorem

- existential theorem

- expansion theorem

- explicit theorem

- extension theorem

- extreme-value theorem

- factor theorem

- factorization theorem

- faltung theorem

- fan theorem

- feasibility theorem

- Fermat's last theorem

- finiteness theorem

- five color theorem

- fixed-point theorem

- formal theorem

- formally deducible theorem
- formally provable theorem
- formation theorem

- friendship theorem

- fundamental theorem of algebra

- fundamental theorem

- fuzzy theorem

- gap theorem

- general theorem

- generalized theorem

- going-up theorem

- graphical theorem

- hierarchy theorem

- holonomy theorem

- homotopy addition theorem
- implicit function theorem
- incompleteness theorem

- index theorem

- individual ergodic theorem
- initial value theorem - integral representation theorem
- integral theorem

- integrality theorem

- integration theorem

- interchange theorem

- intermediary theorem

- intermediate value theorem

- interpolation theorem

- interpretability theorem

- interpretation theorem

- invariance theorem

- inverse function theorem

- inverse theorem

- inverse transform theorem

- inversion theorem

- isomorphism theorem

- isoperimetric theorem

- joint consistency theorem

- Karhunen-Loeve theorem

- kernel theorem

- key renewal theorem

- least-upper-bound theorem

- limitative theorem

- limiting theorem

- linearity theorem

- local description theorem
- local limit theorem
- local theorem

- local uniformization theorem

- local-global theorem

- localization theorem

- logical theorem

- main theorem

- map color theorem

- martingale convergence theorem

- martingale theorem

- matching theorem

- max-flow min-cut theorem
- maximal ergodic theorem
- maximal theorem

- maximality theorem

- maximum-modulus theorem

- mean ergodic theorem
- mean value theorem
- mean-value theorem

- measurability theorem

- metamathematical theorem

- metrization theorem

- minimax theorem

- model extension theorem

- monodromy theorem

- monotonicity theorem

- multinomial theorem

- multiplication theorem

- Nagy-Faias theorem

- negation of theorem

- negation theorem

- Nikodym theorem

- nonexistence theorem

- normal addition theorem
- normal form theorem
- normalization theorem

- Nyquist-Kotelnikov-Shannon sampling theorem

- occurrence theorem

- open mapping theorem

- operator theorem

- opposite theorem

- ordering theorem

- orientability theorem

- orthogonality theorem

- orthographic theorem

- oscillation theorem

- painting theorem

- parallel axis theorem

- parametric theorem

- parametrization theorem

- periodicity theorem

- permutation theorem

- Plancherel theorem

- pointwise ergodic theorem

- preliminary theorem

- preparation theorem

- prime number theorem

- principal theorem

- probability theorem

- product theorem

- prolongation theorem

- proximity theorem

- quantifiers elimination theorem

- quantitative theorem

- quasiergodic theorem

- random ergodic theorem
- ratio limit theorem - rational root theorem
- recurrence theorem

- recursion theorem

- reduction theorem

- reflection theorem

- regularity theorem

- relativized theorem

- renewal density theorem

- replacement theorem

- representability theorem

- representation theorem

- residue theorem

- resonance theorem

- reverse-flow theorem

- root-counting theorem

- sampling theorem

- second limit theorem
- second mean value theorem
- selection theorem

- semantical theorem

- semilocal theorem

- separation theorem

- seven color theorem

- sewing theorem

- shift theorem

- signature theorem

- similarity theorem

- similarity theorem

- similitude theorem

- single-valuedness theorem

- sinusoidal limit theorem

- six-color theorem

- soundness theorem

- special theorem

- spectral theorem

- stability theorem

- stationarity theorem

- strong theorem

- structure theorem

- substitution theorem

- subtle theorem

- summation theorem

- superposition theorem

- suspension theorem

- symmetry theorem

- syntactical theorem

- synthesis theorem

- tautology theorem

- theorem of alternatives

- theorem of choice

- theorem of closed graph
- theorem of consistency proofs - theorem of corresponding states
- theorem of mean

- theorem of numerical comparison

- theorem of residues

- theorem of sines

- theorem of total probability

- theorem of units

- Theveni's theorem

- three circle theorem
- three line theorem - three series theorem
- torsion theorem

- transference theorem

- translation theorem

- transposition theorem

- tree theorem

- triad theorem

- triple limit theorem

- truth theorem

- two constants theorem

- two triangles theorem

- ultraproduct theorem

- umbrellas theorem

- undecidability theorem

- unicity theorem

- uniform boundedness theorem
- uniform convergence theorem - uniform ergodic theorem - uniform mean value theorem
- uniformization theorem

- unique factorization theorem

- uniqueness theorem

- validity theorem

- Van Cittert-Zernike theorem

- vanishing theorem

- variant theorem

- virial theorem

- weak theorem

- well ordering theorem

- Wiener-Paley theorem

- work-kinetic energy theorem

English-Russian scientific dictionary > theorem

См. также в других словарях:

Proof-of-work system — A Proof of work ( POW ) system (or protocol, or function) is an economic measure to deter denial of service attacks and other service abuses such as spams on a network by requiring some work from the service requester, usually meaning processing… … Wikipedia
Tree bog — A Treebog is a form of compost toilet which has willows, nettles and other nutrient hungry plants planted around it. The faeces are held in a chamber open to the air which allows it to decompose rapidly, feeding the trees around it. Unlike a… … Wikipedia
Combinatorial proof — In mathematics, the term combinatorial proof is often used to mean either of two types of proof of an identity in enumerative combinatorics that either states that two sets of combinatorial configurations, depending on one or more parameters,… … Wikipedia
Kruskal's tree theorem — In mathematics, Kruskal s tree theorem states that the set of finite trees over a well quasi ordered set of labels is itself well quasi ordered (under homeomorphic embedding). The theorem was proved byharvs|txt=yes|year= 1960 |authorlink=Joseph… … Wikipedia
Double counting (proof technique) — In combinatorics, double counting, also called counting in two ways, is a combinatorial proof technique for showing that two expressions are equal by demonstrating that they are two ways of counting the size of one set. In this technique, which… … Wikipedia
Segment tree — In computer science, a segment tree is a tree data structure for storing intervals, or segments. It allows querying which of the stored segments contain a given point. It is, in principle, a static structure; that is, its content cannot be… … Wikipedia
List of One Tree Hill episodes — The following is a list of episodes for One Tree Hill, an American television series. One Tree Hill was created by Mark Schwahn, who has also written over a third of the episodes, including each season s premiere and season finale. Schwahn shares … Wikipedia
One Tree Hill (season 8) — One Tree Hill: Season 8 DVD cover art. Country of origin United States No. of episodes … Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
Binary tree — Not to be confused with B tree. A simple binary tree of size 9 and height 3, with a root node whose value is 2. The above tree is unbalanced and not sorted. In computer science, a binary tree is a tree data structure in which each node has at… … Wikipedia
Steiner tree problem — Steiner tree for three points A, B, and C (note there are no direct connections between A, B, C). The Steiner point S is located at the Fermat point of the triangle ABC … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на все языки

tree form proof

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на все языки

tree form proof

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: